Section: New Results

Formalizing computational analysis

Participants : Laurent Théry, Florian Steinberg [Inria Saclay, Toccata project-team] , Holger Thies [Kyushu University, Fukuoka] .

Florian Steinberg, Holger Thies, and Laurent Théry have been working on formalizing computational analysis. This work is described in a paper to be submitted for publication [13]. A shorter version was published in a conference [9].